Skip to content

Remove stray unused abbreviation#992

Merged
jkostiuk merged 1 commit intomainfrom
remove-abbreviations
May 8, 2026
Merged

Remove stray unused abbreviation#992
jkostiuk merged 1 commit intomainfrom
remove-abbreviations

Conversation

@siwelwerd
Copy link
Copy Markdown
Contributor

I removed most abbreviations of chapters/sections from the print version already, but this one slipped through.

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 7, 2026

🚀 Preview available 🚀

https://966af0b3.tbil.pages.dev

@jkostiuk jkostiuk merged commit 2c8b4aa into main May 8, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants